package Datalog
import DatalogAtom.createAtom

object Step1Test {
  def test1() = {
    val atoms = List(
      createAtom("blub", "Y", "Z"),
      createAtom("blob", "Z", "W"))
    val resolution = createAtom("bla", "X", "W")
    val rule = new DatalogRule(atoms, resolution)

    println(rule)
    val newrule = DLToSROIQTransformer.normalize(rule)
    println(newrule)
  }

  def main(args: Array[String]): Unit = {
    test1()
  }
  
}